Proof Theory and Ordered Groups

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian l-groups is generated using an ordering theorem for abelian groups; a calculus is generated for l-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable l-groups is generated and a new proof is obtained that free groups are orderable

Sixteen years of bathymetry and waves at San Diego beaches.

Sustained, quantitative observations of nearshore waves and sand levels are essential for testing beach evolution models, but comprehensive datasets are relatively rare. We document beach profiles and concurrent waves monitored at three southern California beaches during 2001-2016. The beaches include offshore reefs, lagoon mouths, hard substrates, and cobble and sandy (medium-grained) sediments. The data span two energetic El Niño winters and four beach nourishments. Quarterly surveys of 165 total cross-shore transects (all sites) at 100 m alongshore spacing were made from the backbeach to 8 m depth. Monthly surveys of the subaerial beach were obtained at alongshore-oriented transects. The resulting dataset consists of (1) raw sand elevation data, (2) gridded elevations, (3) interpolated elevation maps with error estimates, (4) beach widths, subaerial and total sand volumes, (5) locations of hard substrate and beach nourishments, (6) water levels from a NOAA tide gauge (7) wave conditions from a buoy-driven regional wave model, and (8) time periods and reaches with alongshore uniform bathymetry, suitable for testing 1-dimensional beach profile change models

Acidification effects on biofouling communities: winners and losers

How ocean acidification affects marine life is a major concern for science and society. However, its impacts on encrusting biofouling communities, that are both the initial colonizers of hard substrata and of great economic importance, are almost unknown. We showed that community composition changed significantly, from 92% spirorbids, 3% ascidians and 4% sponges initially to 47% spirorbids, 23% ascidians and 29% sponges after 100days in acidified conditions (pH 7.7). In low pH, numbers of the spirorbid Neodexiospira pseudocorrugata were reduced x5 compared to controls. The two ascidians present behaved differently with Aplidium sp. decreasing x10 in pH 7.7, whereas Molgula sp. numbers were x4 higher in low pH than controls. Calcareous sponge (Leucosolenia sp.) numbers increased x2.5 in pH 7.7 over controls. The diatom and filamentous algal community was also more poorly developed in the low pH treatments compared to controls. Colonization of new surfaces likewise showed large decreases in spirorbid numbers, but numbers of sponges and Molgula sp. increased. Spirorbid losses appeared due to both recruitment failure and loss of existing tubes. Spirorbid tubes are comprised of a loose prismatic fabric of calcite crystals. Loss of tube materials appeared due to changes in the binding matrix and not crystal dissolution, as SEM analyses showed crystal surfaces were not pitted or dissolved in low pH conditions. Biofouling communities face dramatic future changes with reductions in groups with hard exposed exoskeletons and domination by soft-bodied ascidians and sponges.EU [227799, 00415/2010]; Natural Environment Research Council [bas0100036, bas0100025

Elementary Forms of the Metaphorical Life : Tropes at Work in Durkheim’s Theory of the Religious

Peer reviewedPostprin

The core phageome and its interrelationship with preterm human milk lipids

\ua9 2023 The AuthorsPhages and lipids in human milk (HM) may benefit preterm infant health by preventing gastrointestinal pathobiont overgrowth and microbiome modulation. Lipid association may promote vertical transmission of phages to the infant. Despite this, interrelationships between lipids and phages are poorly characterized in preterm HM. Shotgun metagenomics and untargeted lipidomics of phage and lipid profiles from 99 preterm HM samples reveals that phages are abundant and prevalent from the first week and throughout the first 100 days of lactation. Phage-host richness of preterm HM increases longitudinally. Core phage communities characterized by Staphylococcus- and Propionibacterium-infecting phages are significantly correlated with long-chain fatty acid abundances over lactational age. We report here a phage-lipid interaction in preterm HM, highlighting the potential importance of phage carriage in preterm HM. These results reveal possible strategies for phage carriage in HM and their importance in early-life microbiota development

Esrrb Complementation Rescues Development of Nanog-Null Germ Cells.

The transcription factors (TFs) Nanog and Esrrb play important roles in embryonic stem cells (ESCs) and during primordial germ-cell (PGC) development. Esrrb is a positively regulated direct target of NANOG in ESCs that can substitute qualitatively for Nanog function in ESCs. Whether this functional substitution extends to the germline is unknown. Here, we show that germline deletion of Nanog reduces PGC numbers 5-fold at midgestation. Despite this quantitative depletion, Nanog-null PGCs can complete germline development in contrast to previous findings. PGC-like cell (PGCLC) differentiation of Nanog-null ESCs is also impaired, with Nanog-null PGCLCs showing decreased proliferation and increased apoptosis. However, induced expression of Esrrb restores PGCLC numbers as efficiently as Nanog. These effects are recapitulated in vivo: knockin of Esrrb to Nanog restores PGC numbers to wild-type levels and results in fertile adult mice. These findings demonstrate that Esrrb can replace Nanog function in germ cells

First GIS analysis of modern stone tools used by wild chimpanzees (Pan troglodytes verus) in Bossou, Guinea, West Africa

Stone tool use by wild chimpanzees of West Africa offers a unique opportunity to explore the evolutionary roots of technology during human evolution. However, detailed analyses of chimpanzee stone artifacts are still lacking, thus precluding a comparison with the earliest archaeological record. This paper presents the first systematic study of stone tools used by wild chimpanzees to crack open nuts in Bossou (Guinea-Conakry), and applies pioneering analytical techniques to such artifacts. Automatic morphometric GIS classification enabled to create maps of use wear over the stone tools (anvils, hammers, and hammers/anvils), which were blind tested with GIS spatial analysis of damage patterns identified visually. Our analysis shows that chimpanzee stone tool use wear can be systematized and specific damage patterns discerned, allowing to discriminate between active and passive pounders in lithic assemblages. In summary, our results demonstrate the heuristic potential of combined suites of GIS techniques for the analysis of battered artifacts, and have enabled creating a referential framework of analysis in which wild chimpanzee battered tools can for the first time be directly compared to the early archaeological record.Leverhulme Trust [IN-052]; MEXT [20002001, 24000001]; JSPS-U04-PWS; FCT-Portugal [SFRH/BD/36169/2007]; Wenner-Gren Foundation for Anthropological Researc

Second best toll and capacity optimisation in network: solution algorithm and policy implications

This paper looks at the first and second-best jointly optimal toll and road capacity investment problems from both policy and technical oriented perspectives. On the technical side, the paper investigates the applicability of the constraint cutting algorithm for solving the second-best problem under elastic demand which is formulated as a bilevel programming problem. The approach is shown to perform well despite several problems encountered by our previous work in Shepherd and Sumalee (2004). The paper then applies the algorithm to a small sized network to investigate the policy implications of the first and second-best cases. This policy analysis demonstrates that the joint first best structure is to invest in the most direct routes while reducing capacities elsewhere. Whilst unrealistic this acts as a useful benchmark. The results also show that certain second best policies can achieve a high proportion of the first best benefits while in general generating a revenue surplus. We also show that unless costs of capacity are known to be low then second best tolls will be affected and so should be analysed in conjunction with investments in the network